iT邦幫忙

2023 iThome 鐵人賽

DAY 11
2
Web 3

淺談ZK Rollup系列 第 11

Day 11 - 零知識證明EP07:零知識證明與區塊鏈

  • 分享至 

  • xImage
  •  

前一天講述了非交互式零知識證明的概念,還沒看的可以按這裡觀看,而今天我要來談談零知識證明與區塊鏈的關係。
很久很久以前,零知識證明跟區塊鏈可以說是兩條平行線,他們之間的關係就跟周星馳與周潤發的關係一樣—「沒有關係」,畢竟當時,零知識證明發展到的階段還在交互式零知識證明,此時跟零知識證明會比較有相關的資訊領域可能就是通訊網路類別的,畢竟都要做到交互嘛,總得定義個通訊協議等等的,但當非交互式零知識證明提出來的那一刻,剎那間,零知識證明與區塊鏈有如天雷勾動地火般的產生了交集,而且是相當程度上的吻合,這吻合的程度只能用不可思議來形容,怎麼說呢?讓我來從非交互式零知識證明解決的多人驗證這點下手吧!

多人驗證

我之前有提過說非交互式零知識證明想要做到的其中一件重要的事情是可以讓多個人都能來進行驗證,要讓多人驗證不是就需要一個公開的公佈欄嗎?想想看我們的區塊鏈,本質上就是一個公開帳本,大家都要寫自己的交易紀錄進去裡面,而這些交易紀錄都是公開的,那麼基本上我就可以說區塊鏈就提供了一個很好的公開公布欄來讓想要進行零知識證明的證明者丟出證明,那麼由誰來驗證呢?我相信講到這裡大家肯定已經想到了,區塊鏈上面有所謂的「礦工」在驗證這些交易紀錄的合法性,而同時非交互式零知識證明也需要很多人來對證明者丟出的證明進行驗證,所以當證明者在區塊鏈丟出證明時,所有礦工便會變成驗證者一同來驗證這次的證明,所以這時候可以發現,區塊鏈是可以做零知識證明的,因為他提供了零知識證明所需要的條件,因此從此之後零知識證明就常常與區塊鏈結合在一起,過著幸福快樂的生活。

非交互式零知識證明

然而這裡卻有個重點,那便是這裡的零知識證明都是 非交互式零知識證明 ,所以我常常看到有些研究區塊鏈的人發現零知識證明跟區塊鏈有所連結,便開始學習零知識證明的時候,便會產生許多疑惑,就跟你們當初看到這系列文章一樣,因為最初的零知識證明是跟區塊鏈沒有半點關係的,而剛開始學習零知識證明往往都是從最早的零知識證明開始學習的,所以很難會對零知識證明跟區塊鏈產生連結,談到這邊,相信大家都清楚了解到零知識證明與區塊鏈之間的愛恨情仇了吧!那麼我就接著往非交互式零知識證明中最早也是目前最廣泛運用在區塊鏈的zk-SNARKs進行探討,我們明天再見!


上一篇
Day 10 - 零知識證明EP06:非交互式零知識證明
下一篇
Day 12 - 零知識證明EP08:zk-SNARKs簡介
系列文
淺談ZK Rollup30
圖片
  直播研討會
圖片
{{ item.channelVendor }} {{ item.webinarstarted }} |
{{ formatDate(item.duration) }}
直播中

尚未有邦友留言

立即登入留言